NotAValidLetBinding.agda:8,11-10,25
Not a valid let-declaration
when scope checking
let pred : N → N
    pred z = z
    pred (s n) = n
in pred (s (s z))
